#include "libc/sysv/macros.internal.h"
.scall sys_ktimer_getoverrun,0xffffff0effffffff,4095,4095,239,globl
